Final State Equivalence
FSR で使われるSerializabilityのための等価性(Equivalence)のひとつ.